weak inductive dimension

小归纳维数